Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...